Skip to content

Conversation

@aurrelhebert
Copy link
Member

πŸ“ What does this PR do?

Add support of pg_repack in documentation (on-demand extension)

πŸ§ͺ Type of Change

  • ⚠️ Bug fix
  • πŸ“… Changelog update
  • [x ] πŸ“š Documentation update
  • ✨ New content/feature
  • πŸ”§ Technical/maintenance

βœ… Quick Checklist

  • [x ] I have read the contributing guidelines
  • [ x] The content is accurate and links work
  • [x ] The site builds without errors

πŸ‘₯ Reviewers

@CleverCloud/reviewers

@github-actions
Copy link

github-actions bot commented Dec 11, 2025

πŸ‘‹` Review app deleted

You closed this PR and deleted the review app.

@davlgd davlgd force-pushed the feat/pg-extensions/pg_repack branch from 0fb7e03 to ce5a83f Compare January 28, 2026 15:46
@davlgd davlgd merged commit eef0549 into main Jan 28, 2026
2 of 3 checks passed
@davlgd davlgd deleted the feat/pg-extensions/pg_repack branch January 28, 2026 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants